From 217c9831a9b0da2ab04008fd9181d8ef2da7504d Mon Sep 17 00:00:00 2001 From: Tim Deegan Date: Thu, 30 Jun 2011 11:01:04 +0100 Subject: [PATCH] x86/mm: fix the non-debug build Signed-off-by: Tim Deegan --- xen/arch/x86/mm/p2m.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/xen/arch/x86/mm/p2m.c b/xen/arch/x86/mm/p2m.c index 39acd60107..8ac4c4a6b2 100644 --- a/xen/arch/x86/mm/p2m.c +++ b/xen/arch/x86/mm/p2m.c @@ -1102,9 +1102,7 @@ p2m_flush_table(struct p2m_domain *p2m) void p2m_flush(struct vcpu *v, struct p2m_domain *p2m) { - struct domain *d = p2m->domain; - - ASSERT(v->domain == d); + ASSERT(v->domain == p2m->domain); vcpu_nestedhvm(v).nv_p2m = NULL; p2m_flush_table(p2m); hvm_asid_flush_vcpu(v); -- 2.30.2